منابع مشابه
Congruences for Five Triangles
We use the level 12 theory of theta functions to derive hypergeometric transformation formulas and show that forty-two functions are equal. We discuss applications to Ramanujan’s series for 1/π and show how to obtain iterations that converge rapidly to 1/π. CUBIC THETA FUNCTIONS A GLIMPSE S.Bhargava [email protected] Department of Studies in Mathematics University of Mysore Manasagango...
متن کاملAutomatic Abstraction for Congruences
One approach to verifying bit-twiddling algorithms is to derive invariants between the bits that constitute the variables of a program. Such invariants can often be described with systems of congruences where in each equation c · x = d mod m, m is a power of two, c is a vector of integer coefficients, and x is a vector of propositional variables (bits). Because of the low-level nature of these ...
متن کاملSOME INTUITIONISTIC FUZZY CONGRUENCES
First, we introduce the concept of intuitionistic fuzzy group congruenceand we obtain the characterizations of intuitionistic fuzzy group congruenceson an inverse semigroup and a T^{*}-pure semigroup, respectively. Also,we study some properties of intuitionistic fuzzy group congruence. Next, weintroduce the notion of intuitionistic fuzzy semilattice congruence and we givethe characterization of...
متن کاملCongruence for Structural Congruences
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system specifications in Plotkin’s style of Structural Operational Semantics (SOS). However, there has been little theoretical work on establishing a formal link between these two semantic specification frameworks. In this pape...
متن کاملCongruences for Visibly Pushdown Languages
We study congruences on words in order to characterize the class of visibly pushdown languages (VPL), a subclass of context-free languages. For any language L, we define a natural congruence on words that resembles the syntactic congruence for regular languages such that this congruence is of finite index if, and only if, L is a VPL. We then study the problem of finding canonical minimal determ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Arithmetica
سال: 1961
ISSN: 0065-1036,1730-6264
DOI: 10.4064/aa-6-4-375-391